Integrand size = 15, antiderivative size = 8 \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=-\arcsin (1-2 x) \]
[Out]
Time = 0.00 (sec) , antiderivative size = 8, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {55, 633, 222} \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=-\arcsin (1-2 x) \]
[In]
[Out]
Rule 55
Rule 222
Rule 633
Rubi steps \begin{align*} \text {integral}& = \int \frac {1}{\sqrt {x-x^2}} \, dx \\ & = -\text {Subst}\left (\int \frac {1}{\sqrt {1-x^2}} \, dx,x,1-2 x\right ) \\ & = -\sin ^{-1}(1-2 x) \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(40\) vs. \(2(8)=16\).
Time = 0.01 (sec) , antiderivative size = 40, normalized size of antiderivative = 5.00 \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=-\frac {2 \sqrt {-1+x} \sqrt {x} \log \left (\sqrt {-1+x}-\sqrt {x}\right )}{\sqrt {-((-1+x) x)}} \]
[In]
[Out]
Time = 0.10 (sec) , antiderivative size = 7, normalized size of antiderivative = 0.88
method | result | size |
meijerg | \(2 \arcsin \left (\sqrt {x}\right )\) | \(7\) |
default | \(\frac {\sqrt {x \left (1-x \right )}\, \arcsin \left (-1+2 x \right )}{\sqrt {x}\, \sqrt {1-x}}\) | \(27\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 14 vs. \(2 (6) = 12\).
Time = 0.23 (sec) , antiderivative size = 14, normalized size of antiderivative = 1.75 \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=-2 \, \arctan \left (\frac {\sqrt {-x + 1}}{\sqrt {x}}\right ) \]
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.65 (sec) , antiderivative size = 20, normalized size of antiderivative = 2.50 \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=\begin {cases} - 2 i \operatorname {acosh}{\left (\sqrt {x} \right )} & \text {for}\: \left |{x}\right | > 1 \\2 \operatorname {asin}{\left (\sqrt {x} \right )} & \text {otherwise} \end {cases} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 14 vs. \(2 (6) = 12\).
Time = 0.28 (sec) , antiderivative size = 14, normalized size of antiderivative = 1.75 \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=-2 \, \arctan \left (\frac {\sqrt {-x + 1}}{\sqrt {x}}\right ) \]
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 6, normalized size of antiderivative = 0.75 \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=2 \, \arcsin \left (\sqrt {x}\right ) \]
[In]
[Out]
Time = 0.06 (sec) , antiderivative size = 16, normalized size of antiderivative = 2.00 \[ \int \frac {1}{\sqrt {1-x} \sqrt {x}} \, dx=-4\,\mathrm {atan}\left (\frac {\sqrt {1-x}-1}{\sqrt {x}}\right ) \]
[In]
[Out]